Tree automaton - PDFSEARCH.IO - Document Search Engine

Tree automaton
Results: 92

#	Item
81	Dependency Tree Automata Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-05 09:54:02 Alternating tree automata Nested word Ω-automaton Tree automaton Alternating finite automaton Automata theory Theoretical computer science Computer science
82	Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki2 , and Mahesh Viswanathan1 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:27:55 Mathematics Symbol Interpretation Tree automaton Nondeterministic finite automaton Complementation of Büchi automaton Automata theory Theoretical computer science Logic
83	BOUNDED MODEL-CHECKING FOR BRANCHING-TIME LOGIC Rotem Oshman BOUNDED MODEL-CHECKING FOR BRANCHING-TIME LOGIC Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-07-30 05:06:45 Kripke structure Computer science Automata theory Theoretical computer science Tree automaton
84	Table of Contents Invited Lectures Add to Reading List Source URL: www.i3s.unice.fr Language: English - Date: 2006-04-19 06:42:19 Tree automaton Finite-state machine Ω-automaton Automata theory Theoretical computer science Computer science
85	Tree-Walking Automata Cannot Be Determinized Mikolaj Boja´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2011-09-30 05:53:43 Tree automaton Nondeterministic finite automaton Regular language Tree Ω-automaton Automata theory Theoretical computer science Computer science
86	Tree-Walking Automata Do Not Recognize All Regular Languages Mikolaj Bojanczyk Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2011-11-07 04:39:25 Graph theory Tree automaton Tree walking automaton Nondeterministic finite automaton Tree T-tree Symbol Binary tree Semi-deterministic Büchi automaton Automata theory Theoretical computer science Computer science
87	Adding Nesting Structure to Words RAJEEV ALUR University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-12-06 15:48:58 Models of computation Computer science Mathematics Nested word Words Regular tree grammar Finite-state machine Muller automaton Nesting Automata theory Formal languages Theoretical computer science
88	From Automatic Structures to Borel Structures Greg Hjorth Department of Mathematics and Statistics, Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2008-04-25 11:30:34 Mathematics Borel set Forcing Ω-automaton Tree automaton Borel hierarchy Borel equivalence relation Measurable function Mathematical logic Automata theory Descriptive set theory
89	Finite Automata and Their Decision Proble’ms# Abstract: Finite automata are considered in this paper a s instruments for classifying finite tapes. Each onetape automaton defines a set of tapes, a two-tape automaton defines a set of pairs of tapes, et cetera. The structure of the defined sets is studied. Various generalizations of the notion of an automaton are introduced Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 10:35:52 Applied mathematics Equivalence relation Nondeterministic finite automaton Regular language FO Sheaf Semigroup Model theory Tree automaton Automata theory Theoretical computer science Mathematics
90	PDF Document Add to Reading List Source URL: www.tcs.tifr.res.in Language: English - Date: 2006-02-23 13:10:09 Set theory Formal languages Ω-automaton Models of computation Combinatorics on words Büchi automaton Sequence Tree Infinity Mathematics Mathematical logic Automata theory

UPDATE